Artifact for "Predictive Monitoring against Pattern Regular Languages"
- Zhendong Ang
- Umang Mathur
DOIAbstract
<p>Artifact for "Predictive Monitoring against Pattern Regular Languages"</p>
<p>Artifact for "Predictive Monitoring against Pattern Regular Languages"</p>
Contains data, software artifacts, benchmarks, scripts, and proofs for the wasm-prechk artifact. Ins...
In this space we provided files with the protocol we used, full references from the studies and the ...
This artifact contains Jaint, a framework for multi-color taint analyses in Java
This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs” in IC...
Artifacts for our work used to detect defects in code using LLM consistency checking. Please read RE...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
artifact_detection A tool for NLP tasks on textual bug reports. Automated classification of text in...
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
Artifact repository for the paper Opportunistic Monitoring of Multithreaded Programs to appear in FA...
This is the artifact for the paper "Inside Bug Report Templates: An Empirical Study on Bug Report Te...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This artifact contains the necessary software and data for reproducing results for the paper "Deriva...
<p>This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis fo...
Artifact for "If security is required": Engineering and Security Practices for Machine Learning-base...
Artifacts for "Trace-Guided Inductive Synthesis of Recursive Functional Programs
Contains data, software artifacts, benchmarks, scripts, and proofs for the wasm-prechk artifact. Ins...
In this space we provided files with the protocol we used, full references from the studies and the ...
This artifact contains Jaint, a framework for multi-color taint analyses in Java
This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs” in IC...
Artifacts for our work used to detect defects in code using LLM consistency checking. Please read RE...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
artifact_detection A tool for NLP tasks on textual bug reports. Automated classification of text in...
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
Artifact repository for the paper Opportunistic Monitoring of Multithreaded Programs to appear in FA...
This is the artifact for the paper "Inside Bug Report Templates: An Empirical Study on Bug Report Te...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This artifact contains the necessary software and data for reproducing results for the paper "Deriva...
<p>This is the artifact for the POPL'24 paper titled "API-driven Program Synthesis fo...
Artifact for "If security is required": Engineering and Security Practices for Machine Learning-base...
Artifacts for "Trace-Guided Inductive Synthesis of Recursive Functional Programs
Contains data, software artifacts, benchmarks, scripts, and proofs for the wasm-prechk artifact. Ins...
In this space we provided files with the protocol we used, full references from the studies and the ...
This artifact contains Jaint, a framework for multi-color taint analyses in Java
Add to ORKG